GROUP EXTENSIONS OVER INFINITE WORDS
نویسندگان
چکیده
منابع مشابه
Group Extensions over Infinite Words
We construct an extension E(A,G) of a given group G by infinite nonArchimedean words over an discretely ordered abelian group like Z. This yields an effective and uniform method to study various groups that ”behave like G”. We show that the Word Problem for f.g. subgroups in the extension is decidable if and only if and only if the Cyclic Membership Problem in G is decidable. The present paper ...
متن کاملSolving Word Problems in Group Extensions over Infinite Words
In my lecture I report on a joint work with Alexei G. Myasnikov. Non-Archimedean words have been introduced as a new type of infinite words which can be investigated through classical methods in combinatorics on words due to a length function. The length function, however, takes values in the additive group of polynomials Z[t] (and not, as traditionally, in N), which yields various new properti...
متن کاملRankers over Infinite Words
We consider the fragments FO, Σ2 ∩ FO, Π2 ∩ FO, and ∆2 of first-order logic FO[<] over finite and infinite words. For all four fragments, we give characterizations in terms of rankers. In particular, we generalize the notion of a ranker to infinite words in two possible ways. Both extensions are natural in the sense that over finite words, they coincide with classical rankers and over infinite ...
متن کاملProbabilistic Acceptors for Languages over Infinite Words
Probabilistic ω-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word requires that the probability for the accepting runs is positive. In this paper, we provide a summary of the fundamental properties of probabilistic ω-automata concerning expressiveness, efficiency, compositiona...
متن کاملInfinite Words and Confluent Rewriting Systems: Endomorphism Extensions
Infinite words over a finite special confluent rewriting system R are considered and endowed with natural algebraic and topological structures. Their geometric significance is explored in the context of Gromov hyperbolic spaces. Given an endomorphism φ of the monoid generated by R, existence and uniqueness of several types of extensions of φ to infinite words (endomorphism extensions, weak endo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Foundations of Computer Science
سال: 2012
ISSN: 0129-0541,1793-6373
DOI: 10.1142/s0129054112400424